home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Languages / Caml Light 0.7 / README < prev   
Text File  |  1995-07-03  |  5KB  |  136 lines
  1.   This is the release 0.7 of the Caml Light system, for the Macintosh.
  2.  
  3.   This archive contains the binary distribution: standalone application and
  4.   related files.
  5.   See also the source distribution, which contains all the files needed to
  6.   recompile Caml Light from scratch.  If you want to use Caml Light under
  7.   MPW, you will have to get the source distribution and recompile Caml Light.
  8.  
  9. OVERVIEW:
  10.  
  11.   Caml Light is a small, portable implementation of the ML language
  12.   that runs on most Unix machines. It has also been ported to the
  13.   Macintosh, the PC, and other microcomputers.
  14.  
  15.   Caml Light implements the Caml language, a functional language from
  16.   the ML family. Caml is quite close to Standard ML, though not strictly
  17.   conformant. There are some slight differences in syntax and semantics,
  18.   and major differences in the module system (these changes were
  19.   required to support separate compilation).
  20.  
  21.   Caml Light is implemented as a bytecode compiler, and fully
  22.   bootstrapped.  The runtime system and bytecode interpreter is written
  23.   in standard C, hence Caml Light is easy to port to almost any 32 or 64 bit
  24.   platform. The whole system is quite small: about 200K for the runtime
  25.   system, and another 100K of bytecode for the compiler. 4 megabytes of
  26.   memory is enough to recompile the whole system. This stands in sharp
  27.   contrast with other implementations of ML, such as SML-NJ, that
  28.   requires about ten times more memory. Performance is quite good for a
  29.   bytecoded implementation: five to ten times slower than SML-NJ.
  30.  
  31.   Caml Light comes in two flavors: a classical, interactive, toplevel-based
  32.   system in a standalone application; and an MPW tool compiler that produces
  33.   MPW tools. The former is good for learning the language and testing programs.
  34.   The latter is for use with Apple's MPW programming environment.
  35.   The application and the tools are all provided as "fat binaries": they will
  36.   run in native mode on both 68000-based and PowerPC-based macintoshes.
  37.  
  38.   This distribution has been tested under system version 7.5.1 and 6.0.8,
  39.   on the following machines:
  40.  
  41.         Mac Plus
  42.         PowerBook 520
  43.         Power Mac 7100/80av
  44.  
  45.  
  46. CONTENTS OF THE BINARY DISTRIBUTION:
  47.  
  48.   Caml Light            the application
  49.   lib                   the standard library
  50.   examples              some example programs
  51.   COPYRIGHT             INRIA's copyright notice
  52.   INSTALL               instructions for installation
  53.   README                this file
  54.   CHANGES               what's new since release 0.3
  55.  
  56.  
  57. COPYRIGHT:
  58.  
  59.   All files in this distribution are copyright INRIA and distributed
  60.   under the conditions stated in file COPYRIGHT.
  61.   They can be freely redistributed for non-commercial purposes, provided
  62.   the copyright notice remains attached.
  63.  
  64.  
  65. INSTALLATION:
  66.  
  67.   See the file INSTALL for installation instructions on Unix
  68.   machines. 
  69.  
  70.  
  71. DOCUMENTATION:
  72.  
  73.   The Caml Light system is described in:
  74.  
  75.   "The Caml Light system, release 0.7", by Xavier Leroy (reference manual)
  76.   "Functional programming using Caml Light", by Michel Mauny (tutorial)
  77.  
  78.   These documents are distributed in Postscript, DVI, and plain text.
  79.   They can be obtained by anonymous FTP from ftp.inria.fr as described below.
  80.  
  81.  
  82. AVAILABILITY:
  83.  
  84.   The whole Caml Light distribution resides on ftp.inria.fr, and can
  85.   be accessed by anonymous FTP:
  86.  
  87.         host:       ftp.inria.fr (192.93.2.54)
  88.         directory:  lang/caml-light
  89.  
  90.  
  91. KEEPING IN TOUCH WITH THE CAML COMMUNITY:
  92.  
  93.   There exists a mailing list of users of the Caml and Caml Light
  94.   systems developed at INRIA. The purpose of this list is to share
  95.   experience, exchange ideas (and even code), and report on applications
  96.   of the Caml language. This list is moderated; messages can be
  97.   written in English or in French. The list has about 200 subscribers.
  98.  
  99.   Messages to the list should be sent to:
  100.  
  101.                 caml-list@margaux.inria.fr
  102.  
  103.   If you wish to subscribe to this list, please send a message
  104.   (including your email address) to:
  105.  
  106.                 caml-list-request@margaux.inria.fr
  107.  
  108.   The Usenet news group comp.lang.ml also contains discussions about
  109.   the ML family of programming languages, including Caml. The newsgroup
  110.   is moderated. For those without Usenet access, this newsgroup is
  111.   also accessible via a mailing list (to subscribe:
  112.   sml-list-request@cs.cmu.edu, to post a message: sml-list@cs.cmu.edu).
  113.  
  114. BUG REPORTS AND USER FEEDBACK:
  115.  
  116.   Send your bug reports by E-mail to
  117.  
  118.           caml-light@pauillac.inria.fr
  119.  
  120.   or by paper mail to
  121.  
  122.           Caml Light, projet Formel
  123.           INRIA Rocquencourt
  124.           B.P. 105
  125.           78153 Le Chesnay
  126.           France
  127.  
  128.   To be effective, bug reports should include a complete program (preferably
  129.   small) that exhibits the unexpected behavior, and the configuration
  130.   you are using (machine type, etc).
  131.  
  132.   The mailing list caml-light@pauillac.inria.fr is forwarded to a small
  133.   group of implementors at INRIA. For general questions and discussions,
  134.   caml-list@pauillac.inria.fr is better; for bug reports and very specific
  135.   technical questions, caml-light@pauillac.inria.fr is preferred. We often
  136.   cross-p